void main(void) {
	unsigned char test1[] = "test1";
}
